Merge pull request #6134 from MikePetullo/php7-pecl-krb5
authorMichael Heimpold <[email protected]>
Sun, 27 May 2018 12:07:49 +0000 (14:07 +0200)
committerGitHub <[email protected]>
Sun, 27 May 2018 12:07:49 +0000 (14:07 +0200)
php7-pecl-krb5: add new package


Trivial merge